predicate logic
英 [ˈpredɪkət ˈlɒdʒɪk]
美 [ˈpredɪkət ˈlɑːdʒɪk]
网络 谓词逻辑; 谓语逻辑; 谓词; 述词逻辑; 一阶逻辑
双语例句
- Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。 - Predicate logic with equality
带同异性的谓词逻辑 - Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic
基于条件谓词逻辑的可信计算形式化分析 - Prolog Programming Based on Predicate Logic
基于谓词逻辑的Prolog程序设计 - Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.
谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。 - It takes a plural predicate verb. predicate logic with equality
但要使用复数谓语动词。带同异性的谓词逻辑 - I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.
我相信对于学习布尔代数学和谓词逻辑的计算机科学学生来说它是非常有用的。 - Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。 - In this paper, we propose a new class of Petri nets, higher-order Petri nets ( HOPN's), which can be applied to polynomial clause subset of first-order predicate logic.
提出了一种新型Petri网&高阶Petri网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题； - The second part analyzes the formal language of knowledge predicate logic.
第二部分：分析知道谓词逻辑的形式语言。 - At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.
在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。 - Genetic programming based on predicate logic and constraint network architecture
基于谓词逻辑和约束网络结构的遗传编程方法 - In this knowledge base system model, we adopt both first order predicate logic ( FOPL) and case knowledge representation modes to represent the knowledge.
在本知识库系统模型中，知识表示采用一阶谓词（SDSS）逻辑和案例两者相结合的方式。 - A model representation method based on first order predicate logic
一种基于一阶谓词逻辑的模型表示方法 - Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate.
谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能科学赖以产生和发展的最古老，最直接，也是最为完备的理论基础。 - At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.
最后采用谓词逻辑和产生式表示法相结合的方法作为知识库中的推理规则描述方法。 - Inductive logic programming ( ILP) technique based on first-order predicate logic can describe and learn complex relations naturally, thus is quite suitable for the knowledge representation and automatic acquisition of rules in information extraction.
基于一阶谓词逻辑的归纳逻辑编程技术可以自然地描述和学习复杂的关系，非常适合于信息抽取规则中的知识表示和自动生成。 - A conditional predicate logic and probabilistic model are proposed for representing and reasoning about PKI trust model.
提出一种基于概率和条件谓词逻辑来表示和推导PKI信任模型的方法。 - Web database and knowledge base standard of mineral processing were built, and traditional rule, frame, semantic model and predicate logic knowledge were characterized by relational data pattern.
构造了选矿基础Web数据库，建立了统一的知识库标准，基于关系模式表征了传统的规则、框架、语义网络、谓词逻辑等知识； - Z is a formal specification language based on the first order predicate logic and set theory. It can generate concise, accurate and conformable specifications.
Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明。 - Study Predicate Logic Used in Design PLC Ladder Diagram
谓词逻辑在设计PLC梯形图中使用的研究 - Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。 - The representation of first order predicate logic is adopted to describe the requirement unit in formalization.
采用一阶谓词逻辑知识表示方法对需求元进行形式化描述； - For that regularization knowledge we use first order predicate logic;
针对一些规则性的知识通过一阶谓词逻辑进行形式化； - In this paper, we gave the definition of truth degree based on the interval interpretation of first-order fuzzy predicate logic ( or first-order fuzzy language) formulas by introducing the new ( concept) of evaluation on variable set, and discuss its a series of properties.
通过引进一阶模糊语言变元集赋值的新概念，给出了一阶模糊谓词逻辑（或一阶模糊语言）公式的区间解释真度的定义，并讨论了它们的一系列性质。 - Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.
具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。 - In this paper, the post-processing methods of classification rule set are studied by using the predicate logic and the including set. The main research works are as follows: First, a reducing algorithm ( RMCRPL) of classification rule set is presented based on predicate logic.
本文采用谓词逻辑和包含集对分类规则集的后处理进行了研究，其主要研究成果如下：第一、基于谓词逻辑的分类规则约简RMCRPL算法。 - For this type of reasoning, we explore different types of abductive reasoning from three aspects: propositional logic, syllogism and predicate logic.
对于这类推理，我们从命题逻辑、三段论和谓词逻辑等三个方面，区分了不同类型的溯因推理。 - Combination of first order predicate logic, with object-oriented method, expressed demand for information.
结合一阶谓词逻辑，采用面向对象的方法，表述了其需求信息。 - Text predicate representation is a first order predicate logic. In this method, different words have different definitions of logical predicates, and the position of their parameters indicates the syntax and semantic information.
文本谓词表示是一种一阶谓词逻辑表示方法，不同的单词对应不同的逻辑谓词，谓词参数的位置信息表示句法语义信息。